and Logic

Results: 11835



#Item
211

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

Add to Reading List

Source URL: www.ntu.edu.sg

- Date: 2017-09-05 03:25:12
    212

    To appear in Procedia Computer ScienceComputational Social Choice: Prospects and Challenges1 Ulle Endriss Institute for Logic, Language and Computation (ILLC), University of Amsterdam Postbus 94242, 1090 GE Amst

    Add to Reading List

    Source URL: staff.fnwi.uva.nl

    - Date: 2012-01-09 07:02:24
      213

      Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

      Add to Reading List

      Source URL: www.home.hs-karlsruhe.de

      - Date: 2013-03-29 18:22:29
        214

        Logic and proof Supervision 1 1) Provide truth tables for the following formulæ P Q→P Q ¬P Q ¬R → ¬Q Q R ¬(P ¬Q (P R))

        Add to Reading List

        Source URL: www.cl.cam.ac.uk

        - Date: 2008-10-21 05:54:58
          215

          Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing

          Add to Reading List

          Source URL: www.sci.brooklyn.cuny.edu

          - Date: 2012-05-21 09:47:37
            216

            Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

            Add to Reading List

            Source URL: www.home.hs-karlsruhe.de

            - Date: 2014-02-23 03:34:16
              217

              Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

              Add to Reading List

              Source URL: www.win.tue.nl

              - Date: 2017-06-27 17:17:14
                218

                Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique

                Add to Reading List

                Source URL: anupamdas.com

                - Date: 2017-08-04 11:45:45
                  219

                  Annals of Pure and Applied Logic–30 www.elsevier.com/locate/apal Game-based notions of locality over finite models! Marcelo Arenas a,∗ , Pablo Barcel´o b , Leonid Libkin c a Department of Computer Scien

                  Add to Reading List

                  Source URL: marenas.sitios.ing.uc.cl

                  - Date: 2013-04-26 05:57:02
                    220

                    Temporary Read-Only Permissions for Separation Logic Arthur Chargu´eraud and Fran¸cois Pottier Inria‹ Abstract. We present an extension of Separation Logic with a general

                    Add to Reading List

                    Source URL: www.chargueraud.org

                    - Date: 2017-02-23 04:12:21
                      UPDATE